more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 13841

[filed under theme 5. Theory of Logic / K. Features of Logics / 6. Compactness ]

Full Idea

Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself.

Gist of Idea

Why should compactness be definitive of logic?

Source

report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13

Book Ref

'A Philosophical Companion to First-Order Logic', ed/tr. Hughes,R.I.G. [Hackett 1993], p.245